#include <stdio.h>
#include <stdlib.h>

/* run this program using the console pauser or add your own getch, system("pause") or input loop */

int main(int argc, char *argv[]) {
	int t;
	int H,M,S;
	scanf("%d",&t);
	H = t/3600;
	M = (t%3600)/60;
	S = t%3600%60;
	printf("%d:%d:%d",H,M,S);
	return 0;
}
